Language and program design for functional dependencies
نویسندگان
چکیده
منابع مشابه
A Tool For Understanding Multi-Language Program Dependencies
This paper describes a prototype tool that facilitates the process of understanding and managing multi-language program dependencies. More specifically, the software tool maintains a repository of host-to-foreign language dependencies between C/C++ and Java code. We describe some program comprehension features of the tool and we discuss a preliminary case study performed in order to verify its ...
متن کاملThe CleanJava Language for Functional Program Verification
Unlike Hoare-style program verification, functional program verification supports forward reasoning by viewing a program as a mathematical function from one program state to another and proving its correctness by essentially comparing two mathematical functions, the function computed by the program and its specification. Since it requires a minimal mathematical background and reflects the way t...
متن کاملDesign by Example for SQL Tables with Functional Dependencies
An Armstrong relation satisfies the functional dependencies (FD) implied by a given FD set and violates all other FDs. Therefore, they form an instance of the design-by-example methodology: the example relation exhibits precisely those FDs that the current design perceives as meaningful for the application domain. The existing framework of Armstrong relations only applies to total relations. We...
متن کاملFunctional Dependencies for XML
In this paper we address the problem of how to extend the deenition of functional dependencies (FDs) in incomplete relations to XML documents. An incomplete relation is said to strongly satisfy a FD if every completion of the relation, obtained by replacing all null values by data values, satisses the FD in the ordinary sense. We propose a syntactic deenition of strong FD satisfaction in a XML ...
متن کاملA Functional Notation for Functional Dependencies
Functional dependencies help resolve many of the ambiguities that result from the use of multi-parameter type classes. They effectively enable writing programs at the type-level which significantly enhances the expressive power of Haskell’s type system. Among the applications of this technique are the emulation of dependent types, and precise typechecking for XML and HTML combinator libraries. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2009
ISSN: 0362-1340,1558-1160
DOI: 10.1145/1543134.1411298